from datetime import date
import datetime
year=int(input())
for i in range(1,13):
	date = datetime.date(year,i,13)
	if date.isoweekday()==5:
		if i>=10:
			print('{}-{}-13'.format(year,i))
		else:
			print('{}-0{}-13'.format(year,i))